నిధుల సేకరణ 15 సెప్టెంబర్ 2024 – 1 అక్టోబర్ 2024 నిధులసేకరణ గురించి
1
25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

సంవత్సరం:
2008
భాష:
english
ఫైల్:
PDF, 41.36 MB
0 / 0
english, 2008
2
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

సంవత్సరం:
2002
భాష:
english
ఫైల్:
PDF, 2.61 MB
0 / 0
english, 2002
5
Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings

Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings

సంవత్సరం:
1994
భాష:
english
ఫైల్:
DJVU, 5.98 MB
0 / 0
english, 1994
8
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

సంవత్సరం:
2002
భాష:
english
ఫైల్:
PDF, 3.46 MB
0 / 0
english, 2002
12
25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

సంవత్సరం:
2008
భాష:
english
ఫైల్:
DJVU, 4.00 MB
0 / 0
english, 2008
14
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

సంవత్సరం:
1984
భాష:
english
ఫైల్:
DJVU, 5.98 MB
0 / 0
english, 1984
17
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

సంవత్సరం:
1984
భాష:
english
ఫైల్:
PDF, 14.67 MB
0 / 0
english, 1984